nonredundant cover

[数] 非冗余覆盖